body {
    padding: 0;
    margin: 0;
}

.functions {
    padding-left: 15px;
    clear: both;
    margin-top: 100px;
}

.function {
    margin-bottom: 15px;
    margin-right: 30px;
    display: inline-block;
    float: left;
    border-left: 3px solid #c0dfff;
    max-width: 500px;
}

.function-name a {
    font-weight: bold;
    background: #c0dfff;
    border: 1px solid #c0dfff;
    padding: 2px 6px;
    display: block;
    font-size: 12pt;
    line-height: 30px;
}

.description {
    color: #888;
    padding: 2px 6px;
    height: 43px;
    overflow-y: hidden;
}

.function.highlighted {
    border-left-color: #aa0000;
}

.header {
    color: #fff;
    position: fixed;
    width: 100%;
    top: 0;
    background: #1d5fb5;
    padding-bottom: 15px;
    padding-left: 15px;
}
